/*
 * Copyright (c) 2021 Futurewei Technologies, Inc.
 *
 * clang2mpl is licensed under Mulan PSL v2.
 * You can use this software according to the terms and conditions of the Mulan
 * PSL v2. You may obtain a copy of Mulan PSL v2 at:
 *
 *     http://license.coscl.org.cn/MulanPSL2
 *
 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY
 * KIND, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO
 * NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. See the
 * Mulan PSL v2 for more details.
 */
#pragma once

#include "clang/Tooling/CommonOptionsParser.h"

using namespace llvm;

extern cl::opt<bool> UseAscii;
extern cl::opt<bool> VerifyMaple;
extern cl::opt<bool> SimpleShortCircuit;
extern cl::opt<bool> NoSimpleShortCircuit;
extern cl::opt<bool> ImprovedIsSimple;
extern cl::opt<bool> NoImprovedIsSimple;

inline bool useSimpleShortCircuit(void) {
  return SimpleShortCircuit && !NoSimpleShortCircuit;
}

inline bool useImprovedIsSimple(void) {
  return ImprovedIsSimple && !NoImprovedIsSimple;
}
